Security Domain Model and Implementation Modeling Language Reference Manual version 2.0 May 2008

Source URL: cisr.nps.edu

• Software engineering
• Computing
• Programming language theory
• Type theory
• Variable
• Information flow
• ALGOL 68
• Assignment
• Java

Fusion and Inference from Multiple and Massive Disparate Data Sources Carey E. Priebe Johns Hopkins University National Security Science and Engineering Faculty Fellowship (NSSEFF) Program

Source URL: www.ams.jhu.edu

DATA LEAKS Can Content-Based Data Loss Prevention Solutions Prevent Data Leakage in Web Traffic? David Gugelmann | ETH Zurich

Source URL: www.lenders.ch

• Computing
• Software engineering
• Security
• Data loss prevention software
• Data security
• Information technology
• Hypertext Transfer Protocol
• Computer security
• JavaScript
• World Wide Web
• POST

ON THE (NON-)REUSABILITY OF FUZZY SKETCHES AND EXTRACTORS AND SECURITY IN THE COMPUTATIONAL SETTING∗ Marina Blanton and Mehrdad Aliasgari Department of Computer Science and Engineering, University of Notre Dame

Source URL: www.cse.nd.edu

Social Engineering The easiest way to breach security is to obtain credentials, and the easiest way to get that information is to ask someone for it. The technique of tricking an individual into revealing secure informat

Source URL: www.busey.com

The Weird Machines in Proof-Carrying Code IEEE Security and Privacy LangSec Workshop 2014 Invited paper Julien Vanegue Bloomberg L.P. New York, USA.

Source URL: openwall.info

• Theoretical computer science
• Formal methods
• Computer science
• Software engineering
• Logic in computer science
• Dependently typed programming
• Proof assistants
• Proof-carrying code
• Formal verification
• Mathematical proof
• CurryHoward correspondence
• Algorithm

Master in System and Network Engineering Analysis of DNS Resolver Performance Measurements Supervisors: Yuri Schaeffer

Source URL: www.nlnetlabs.nl

• Domain name system
• Computing
• Internet
• Network architecture
• Domain Name System Security Extensions
• Name server
• Root name server
• PowerDNS
• OpenDNS
• Reverse DNS lookup
• DNS root zone
• Domain name

Published in ACM Operating Systems Review 32(4):33–39, ID-based Secret-Key Cryptography? Marc Joye and Sung-Ming Yen Laboratory of Cryptography and Information Security Dept of Electrical Engineering, Tamkang Un

Source URL: joye.site88.net

Achieving Full Security in Privacy-Preserving Data Mining Marina Blanton Department of Computer Science and Engineering University of Notre Dame

Source URL: www.cse.nd.edu

OVAL Board MeetingAttendees Blake Frantz – Center for Internet Security Adam Montville – SACM Kent Landfield – Intel Corporation Randy Taylor – ThreatGuard, Inc.

Source URL: oval.mitre.org

• Political philosophy
• Internet
• Politics
• Working groups
• Internet Engineering Task Force
• Open Vulnerability and Assessment Language
• Consensus decision-making
• Center for Internet Security